On classical structures in the quantum information theory via dagger-compact categories and their graphical formalization in the ZX-calculus:
Aleks Kissinger, Graph Rewrite Systems for Classical Structures in -Symmetric Monoidal Categories, MSc thesis, Oxford (2008) [pdf, pdf]
Aleks Kissinger, Exploring a Quantum Theory with Graph Rewriting and Computer Algebra, in: Intelligent Computer Mathematics. CICM 2009, Lecture Notes in Computer Science 5625 (2009) 90-105 [doi:10.1007/978-3-642-02614-0_12]
On quantum information theory via dagger-compact categories:
Relating the ZX-calculus to braided fusion categories for anyon braiding:
On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:
Last revised on July 11, 2023 at 20:27:20. See the history of this page for a list of all contributions to it.